翻訳と辞書 Words near each other ・ Dynamic scattering mode ・ Dynamic Science Fiction ・ Dynamic Science Stories ・ Dynamic scoring ・ Dynamic scraped surface heat exchanger ・ Dynamic secrets ・ Dynamic set ・ Dynamic shear rheometer ・ Dynamic Signal ・ Dynamic similarity (Reynolds and Womersley numbers) ・ Dynamic simulation ・ Dynamic single-frequency networks ・ Dynamic site acceleration ・ Dynamic Ski ・ Dynamic soaring ・ Dynamic software updating ・ Dynamic Source Routing ・ Dynamic speckle ・ Dynamic spectrum management ・ Dynamic Sport ・ Dynamic Sport Climber ・ Dynamic Sport Rocket ・ Dynamic SSL ・ Dynamic steering response ・ Dynamic stereochemistry ・ Dynamic Stillness ・ Dynamic stochastic general equilibrium ・ Dynamic stock modelling ・ Dynamic strain aging ・ Dynamic stretching Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Dynamic software updating ： ウィキペディア英語版 Dynamic software updating In computer science, dynamic software updating (or ''DSU'') is a field of research pertaining to upgrading programs while they are running. DSU is not currently widely used in industry. However, researchers have developed a wide variety of systems and techniques for implementing DSU. These systems are commonly tested on real-world programs. Current operating systems and programming languages are typically not designed with DSU in mind. As such, DSU implementations commonly either utilize existing tools, or implement specialty compilers. These compilers preserve the semantics of the original program, but instrument either the source code or object code to produce a dynamically updateable program. Researchers compare DSU-capable variants of programs to the original program to assess safety and performance overhead. == Introduction == Any running program can be thought of a tuple $(\backslash delta,\; P)$, where $\backslash delta$ is the current program state and $P$ is the current program code. Dynamic software updating systems transform a running program $(\backslash delta,\; P)$ to a new version $(\backslash delta\text{'},\; P\text{'})$. In order to do this, the state must be transformed into the representation $P\text{'}$ expects. This requires a ''state transformer'' function. Thus, DSU transforms a program $(\backslash delta,\; P)$ to $(S\; (\backslash delta),\; P\text{'})$. An update is considered valid if and only if the running program $(S\; (\backslash delta),\; P\text{'})$ can be reduced to a point tuple $(\backslash delta,\; P\text{'})$ that is reachable from the starting point of the new version of the program, $(\backslash delta\_,\; P\text{'})$. The location in a program where a dynamic update occurs is referred to as an update point. Existing DSU implementations vary widely in their treatment of update points. In some systems, such as UpStare and PoLUS, an update can occur at any time during execution. Ginseng's compiler will attempt to infer good locations for update points, but can also use programmer-specified update points. Kitsune and Ekiden require developers to manually specify and name all update points. Updating systems differ in the types of program changes that they support. For example, Ksplice only supports code changes in functions, and does not support changes to state representation. This is because Ksplice primarily targets security changes, rather than general updates. In contrast, Ekiden can update a program to any other program capable of being executed, even one written in a different programming language. Systems designers can extract valuable performance or safety assurances by limiting the scope of updates. For example, any update safety check limits the scope of updates to updates which pass that safety check. The mechanism used to transform code and state influences what kinds of updates a system will support. DSU systems, as tools, can also be evaluated on their ease-of-use and clarity to developers. Many DSU systems, such as Ginseng, require programs to pass various static analyses. While these analyses prove properties of programs that are valuable for DSU, they are by nature sophisticated and difficult to understand. DSU systems that do not use a static analysis might require use of a specialized compiler. Some DSU systems require neither static analysis nor specialty compilers. Programs that are updated by a DSU system are referred to as target programs. Academic publications of DSU systems commonly include several target programs as case studies. vsftpd, OpenSSH, PostgreSQL, Tor, Apache, GNU Zebra, memcached, and Redis are all dynamic updating targets for various systems. Since few programs are written with support for dynamic updating in mind, retrofitting existing programs is a valuable means of evaluating a DSU system for practical use. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Dynamic software updating」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.